<HTML><HEAD>
<META NAME="copyright" CONTENT="Copyright (c) 1986-2004, Eiffel Software and others">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see forum.txt)">
<META NAME="description" CONTENT="Objects representing delayed calls to a boolean function, with some arguments possibly still open.">
<META NAME="library" CONTENT="Free implementation of ELKS library">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>predicate Chart</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="predicate_links.html">Relations</A></TD><TD><A HREF="predicate_flatshort.html">Flat contracts</A></TD></TR></TABLE><B>class</B>
    <A HREF="../base/predicate_chart.html">PREDICATE</A> [BASE_TYPE, OPEN_ARGS -&gt; <A HREF="../base/tuple_chart.html">TUPLE</A> <B>create</B> <A HREF="../base/any_flatshort.html#f_default_create">default_create</A> <B>end</B>]

<B>General</B>
    cluster: elks
    description: 
        "Objects representing delayed calls to a boolean function,
        with some arguments possibly still open."

<B>Ancestors</B>
    <A HREF="../base/function_chart.html">FUNCTION</A> [BASE_TYPE, OPEN_ARGS -&gt; <A HREF="../base/tuple_chart.html">TUPLE</A> <B>create</B> <A HREF="../base/any_flatshort.html#f_default_create">default_create</A> <B>end</B>, RESULT_TYPE]

<B>Queries</B>
    <A HREF="../base/routine_flatshort.html#f_callable">Callable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from ROUTINE)</FONT>
    <A HREF="../base/routine_flatshort.html#f_empty_operands">empty_operands</A>: OPEN_ARGS<FONT COLOR="red"> -- (from ROUTINE)</FONT>
    <A HREF="../base/routine_flatshort.html#f_hash_code">hash_code</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from ROUTINE)</FONT>
    <A HREF="../base/function_flatshort.html#f_is_equal">is_equal</A> (other: [<B>like</B> <B>Current</B>] <A HREF="../base/predicate_chart.html">PREDICATE</A> [BASE_TYPE, OPEN_ARGS]): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FUNCTION)</FONT>
    <A HREF="../base/hashable_flatshort.html#f_is_hashable">is_hashable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from HASHABLE)</FONT>
    <A HREF="../base/routine_flatshort.html#f_is_target_closed">is_target_closed</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from ROUTINE)</FONT>
    <A HREF="../base/function_flatshort.html#f_item">item</A> (args: OPEN_ARGS): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FUNCTION)</FONT>
    <A HREF="../base/function_flatshort.html#f_last_result">last_result</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from FUNCTION)</FONT>
    <A HREF="../base/routine_flatshort.html#f_open_count">open_count</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A><FONT COLOR="red"> -- (from ROUTINE)</FONT>
    <A HREF="../base/routine_flatshort.html#f_operands">operands</A>: OPEN_ARGS<FONT COLOR="red"> -- (from ROUTINE)</FONT>
    <A HREF="../base/routine_flatshort.html#f_postcondition">postcondition</A> (args: [<B>like</B> <A HREF="../base/routine_flatshort.html#f_operands">operands</A>] OPEN_ARGS): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from ROUTINE)</FONT>
    <A HREF="../base/routine_flatshort.html#f_precondition">precondition</A> (args: [<B>like</B> <A HREF="../base/routine_flatshort.html#f_operands">operands</A>] OPEN_ARGS): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from ROUTINE)</FONT>
    <A HREF="../base/routine_flatshort.html#f_target">target</A>: ?<A HREF="../base/any_chart.html">ANY</A><FONT COLOR="red"> -- (from ROUTINE)</FONT>
    <A HREF="../base/routine_flatshort.html#f_valid_operands">valid_operands</A> (args: ?<A HREF="../base/tuple_chart.html">TUPLE</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from ROUTINE)</FONT>
    <A HREF="../base/routine_flatshort.html#f_valid_target">valid_target</A> (args: ?<A HREF="../base/tuple_chart.html">TUPLE</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from ROUTINE)</FONT>

<B>Commands</B>
    <A HREF="../base/routine_flatshort.html#f_adapt">adapt</A> (other: [<B>like</B> <B>Current</B>] <A HREF="../base/predicate_chart.html">PREDICATE</A> [BASE_TYPE, OPEN_ARGS])<FONT COLOR="red"> -- (from ROUTINE)</FONT>
    <A HREF="../base/function_flatshort.html#f_apply">apply</A><FONT COLOR="red"> -- (from FUNCTION)</FONT>
    <A HREF="../base/function_flatshort.html#f_call">call</A> (args: OPEN_ARGS)<FONT COLOR="red"> -- (from FUNCTION)</FONT>
    <A HREF="../base/function_flatshort.html#f_clear_last_result">clear_last_result</A><FONT COLOR="red"> -- (from FUNCTION)</FONT>
    <A HREF="../base/function_flatshort.html#f_copy">copy</A> (other: [<B>like</B> <B>Current</B>] <A HREF="../base/predicate_chart.html">PREDICATE</A> [BASE_TYPE, OPEN_ARGS])<FONT COLOR="red"> -- (from FUNCTION)</FONT>
    <A HREF="../base/routine_flatshort.html#f_set_operands">set_operands</A> (args: OPEN_ARGS)<FONT COLOR="red"> -- (from ROUTINE)</FONT>
    <A HREF="../base/routine_flatshort.html#f_set_target">set_target</A> (a_target: [<B>like</B> <A HREF="../base/routine_flatshort.html#f_target">target</A>] ?<A HREF="../base/any_chart.html">ANY</A>)<FONT COLOR="red"> -- (from ROUTINE)</FONT>

<TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="predicate_links.html">Relations</A></TD><TD><A HREF="predicate_flatshort.html">Flat contracts</A></TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>
